Formal languages - PDFSEARCH.IO - Document Search Engine

Formal languages
Results: 2429

#	Item
941	Application Boundaries Enforcer (ABE) NoScript Module Rules Syntax And Capabilities Version 0.3 – Author: Giorgio Maone – Add to Reading List Source URL: hackademix.net Language: English - Date: 2008-12-19 19:02:59 Semantic Web Computing Language URI schemes Compiler construction Extended Backus–Naur Form Syntax Uniform resource identifier Cross-site request forgery Formal languages Grammar Linguistics
942	Termination of LCTRSs∗ Cynthia Kop1 1 Department of Computer Science, University of Innsbruck Technikerstraße 21a, 6020 Innsbruck, Austria Add to Reading List Source URL: www.imn.htwk-leipzig.de Language: English - Date: 2013-08-26 10:13:14 Mathematical logic Model theory Symbol Function Rewriting Interpretation Binary relation Mathematics Formal languages Logic
943	On the Utility of Curricula in Unsupervised Learning of Probabilistic Grammars Vasant Honavar Department of Computer Science Iowa State University Ames, IA 50011, USA Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2011-04-20 00:26:40 Computational linguistics Grammar Language Compiler construction Statistical natural language processing Stochastic context-free grammar Treebank Parsing Grammar induction Linguistics Formal languages Science
944	Distributional Phrase Structure Induction Dan Klein and Christopher D. Manning Computer Science Department Stanford University Stanford, CA[removed]klein, manning @cs.stanford.edu Add to Reading List Source URL: nlp.stanford.edu Language: English - Date: 2001-05-28 19:28:07 Computational linguistics Compiler construction Statistical natural language processing Corpus linguistics Syntax Parsing Stochastic context-free grammar Dependency grammar Treebank Linguistics Formal languages Natural language processing
945	OMeta: an Object-Oriented Language for Pattern Matching ∗ Alessandro Warth Ian Piumarta Computer Science Department Add to Reading List Source URL: tinlizzie.org Language: English - Date: 2008-12-30 02:04:39 Computing Programming language implementation Syntactic predicate Parsing expression grammar LL parser Viewpoints Research Institute Scannerless parsing Compiler-compiler COLA Formal languages Software engineering Parsing
946	Formal Veri ation of a Memory Model for C -Like Imperative Languages Sandrine Blazy and Xavier Leroy INRIA Ro quen ourt[removed]Le Chesnay edex, Fran e Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2005-10-31 04:04:01 Mereology Predicate logic Cell Pointer Memory C Computing Software engineering Computer programming
947	Flows for Movies Example Form: Control Changes Function RequerySubform Add to Reading List Source URL: augsd.org Language: English - Date: 2012-02-27 12:17:08 Software engineering Len Null String Is functions Computing Formal languages Computer programming
948	Toward Reflective Application Testing in Open Environments Eyvind W. Axelsen, Einar Broch Johnsen, and Olaf Owe Department of Informatics, University of Oslo Abstract Many distributed applications can be understood in te Add to Reading List Source URL: www.nik.no Language: English - Date: 2004-12-12 14:02:10 Mathematics Logic in computer science Maude system Computability theory Abstraction Rewriting Predicate Philosophy Normal form Theoretical computer science Formal languages Programming language theory
949	Assisted Proof Document Authoring David Aspinall1 , Christoph L¨ uth2 , and Burkhart Wolff3 1 2 Add to Reading List Source URL: proofgeneral.inf.ed.ac.uk Language: English - Date: 2006-09-27 08:42:21 Formal methods Automated theorem proving Complexity classes Functional languages Proof assistant Isabelle Theorem prover IP Literate programming Theoretical computer science Computing Software
950	CIVIL SERVICE CODE AUDIT 2013 – Recommendations & Examples of Good Practice QUESTION RECOMMENDATION EXAMPLE OF GOOD PRACTICE 1. Do you have a formal statement of policy for There is a specific statement setting o Add to Reading List Source URL: civilservicecommission.independent.gov.uk Language: English - Date: 2015-03-18 11:42:30 Computer programming C Cross-platform software Procedural programming languages Software engineering Computing

UPDATE